mining 10000 ore in minecraft hardcore